package helper.base

import helper.base.PrintHelper.StringTo.toPrintln
import helper.base.ZoneConstraintHelper.CoeffVar.Companion.makeCoeffVar
import helper.base.ZoneConstraintHelper.ZoneConstraint.Companion.makePointZoneConstraint
import helper.base.ZoneConstraintHelper.ZoneConstraint.Companion.makeZoneConstraint
import org.junit.Test

internal class ZoneConstraintHelperTest {
    @Test
    fun t1() {
        val zc = makeZoneConstraint(
            arrayListOf(
                makeCoeffVar(
                    1,
                    "t",
                ),
            ),
            true,
            0.0,
            100.0,
            true,
        )
        zc.toStr0().toPrintln()
    }

    @Test
    fun t2() {
        val zc = makePointZoneConstraint(
            arrayListOf(
                makeCoeffVar(
                    1,
                    "x",
                ),
                makeCoeffVar(
                    -1,
                    "t",
                ),
            ),
            0.0,
        )
        zc.toStr0().toPrintln()
    }

    @Test
    fun t3() {
        val zc = makePointZoneConstraint(
            arrayListOf(
                makeCoeffVar(
                    1.0,
                    "c",
                ),
            ),
            0.0,
        )
        zc.toStr0().toPrintln()
    }
}